Characterization of the split closure via geometric lifting

نویسندگان

  • Amitabh Basu
  • Marco Molinaro
چکیده

We analyze split cuts from the perspective of cut generating functions via geometric lifting. We show that α-cuts, a natural higher-dimensional generalization of the k-cuts of Cornuéjols et al., gives all the split cuts for the mixed-integer corner relaxation. As an immediate consequence we obtain that the k-cuts are equivalent to split cuts for the 1-row mixed-integer relaxation. Further, we show that split cuts for finite-dimensional corner relaxations are restrictions of split cuts for the infinite-dimensional relaxation. In a final application of this equivalence, we exhibit a family of pure-integer programs whose split closure have arbitrarily bad integrality gap. This complements the mixed-integer example provided by Basu et al [On the relative strength of split, triangle and quadrilateral cuts, Math. Program. 126(2):281–314, 2011].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Split Closure and Intersection Cuts

In the seventies, Balas introduced intersection cuts for a Mixed Integer Linear Program (MILP), and showed that these cuts can be obtained by a closed form formula from a basis of the standard linear programming relaxation. In the early nineties, Cook, Kannan and Schrijver introduced the split closure of an MILP, and showed that the split closure is a polyhedron. In this paper, we show that the...

متن کامل

Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields

In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of [vdD1, 2.11], and the lifting principle we develop is a generalization of the geometric axiomatization of ...

متن کامل

CHARACTERIZATION OF L-FUZZIFYING MATROIDS BY L-FUZZIFYING CLOSURE OPERATORS

An L-fuzzifying matroid is a pair (E, I), where I is a map from2E to L satisfying three axioms. In this paper, the notion of closure operatorsin matroid theory is generalized to an L-fuzzy setting and called L-fuzzifyingclosure operators. It is proved that there exists a one-to-one correspondencebetween L-fuzzifying matroids and their L-fuzzifying closure operators.

متن کامل

TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES

We present a topological characterization for fuzzy regular languages: we show that there is a bijective correspondence between fuzzy regular languages and the set of all clopen fuzzy subsets with finite image in the induced fuzzy topological space of Stone space (Profinite space), and then we give a representation of closed fuzzy subsets in the induced fuzzy topological space via fuzzy regular...

متن کامل

Geometric theta-lifting for the dual pair SO2m, Sp2n

Let X be a smooth projective curve over an algebraically closed field of characteristic > 2. Consider the dual pair H = SO2m, G = Sp2n over X with H split. Write BunG and BunH for the stacks of G-torsors and H-torsors on X . The theta-kernel AutG,H on BunG ×BunH yields the theta-lifting functors FG : D(BunH) → D(BunG) and FH : D(BunG) → D(BunH) between the corresponding derived categories. Assu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • European Journal of Operational Research

دوره 243  شماره 

صفحات  -

تاریخ انتشار 2015